科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:确定预分类逻辑中定义的关系是否可以在较弱的逻辑中定义
Christian Choffrut;
机译:是否可以在WEAGER LOGIC中定义在预脉冲逻辑中定义的关系
机译:确定的定点逻辑中的可定义性表征
机译:用命题虚假常量定义的弱一致性的基本构造逻辑
机译:决定Büchi可定义的树语语言的弱定能力
机译:连续逻辑中的可定定性和分类
机译:为什么甚至重新定义的选择逻辑仍可能与公共卫生系统中的护理逻辑相矛盾?
机译:决定是否可以在较弱的逻辑中定义在Presburger逻辑中定义的关系
机译:冷战后时代的伤亡厌恶:通过克劳塞维茨的逻辑来定义和分析。
机译:用于定义可自由编程的顺序逻辑系统的依赖于应用程序的逻辑的过程,用于实现该过程的设备以及用于通过使用由此定义的程序来操作控制系统的设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。